Formal learning

Results: 810



#Item
781Microarrays / Formal sciences / Ensemble learning / Random forest / Feature selection / DNA microarray / Gene expression profiling / Bioinformatics / Randomness / Statistics / Machine learning / Biology

SCOWLP update: 3D classification of protein-protein, -peptide, -saccharide and -nucleic acid interactions, and structure-based binding inferences across folds

Add to Reading List

Source URL: www.ncbi.nlm.nih.gov

Language: English
782Data analysis / Knowledge / Formal sciences / Learning / Educational data mining / Data visualization / Learning analytics / Web mining / Machine learning / Science / Statistics / Data mining

Research in Higher Education Journal A survey of educational data

Add to Reading List

Source URL: www.aabri.com

Language: English - Date: 2012-10-28 08:35:39
783Boolean algebra / Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Boolean satisfiability problem / Conjunctive normal form / Binary decision diagram / Formal equivalence checking / Theoretical computer science / Mathematics / Applied mathematics

Combinational Equivalence Checking Using Satisfiability and Recursive Learning João Marques-Silva

Add to Reading List

Source URL: eprints.soton.ac.uk

Language: English - Date: 2009-12-08 13:36:52
784Lattice theory / Machine learning / Data mining / Analysis of algorithms / Algorithm / Mathematical logic / Formal concept analysis / Time complexity / Computational complexity theory / Mathematics / Theoretical computer science / Applied mathematics

J. Expt. Theor. Artif. Intell. ??(2002)1–28 Comparing performance of algorithms for generating concept

Add to Reading List

Source URL: www.hse.ru

Language: English - Date: 2013-02-20 03:52:53
785Computational neuroscience / Cybernetics / Formal sciences / Information science / Knowledge representation / Weka / Strong AI / Machine learning / Document classification / Science / Knowledge / Artificial intelligence

MLeXAI: A Project-Based Application-Oriented Model INGRID RUSSELL

Add to Reading List

Source URL: cs.gettysburg.edu

Language: English - Date: 2010-08-23 14:40:50
786Formal sciences / Knowledge / Year of birth missing / Machine learning / Bart Selman / Cyc / Association for the Advancement of Artificial Intelligence / Data mining / Computational learning theory / Science / Artificial intelligence / Cybernetics

AAAI 96 Thirteenth National Conference on Artificial Intelligence

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2008-12-15 23:22:51
787Statistics / Formal sciences / Analytics / Mathematical finance / Learning analytics / JISC CETIS / Medical ethics / Business ethics / Data Protection Act / Data management / Business intelligence / Knowledge

Analytics Series Vol.1 No6.: Legal, Risk

Add to Reading List

Source URL: publications.cetis.ac.uk

Language: English - Date: 2013-07-29 06:28:41
788Formal concept analysis / Ontology / Attribute grammar / Mathematics / Software engineering / Computing / Lattice theory / Machine learning / Data mining

Attribute Exploration with Background Implications and Exceptions Gerd Stumme

Add to Reading List

Source URL: www.kde.cs.uni-kassel.de

Language: English - Date: 2006-11-03 05:58:58
789Education theory / Curricula / Learning / Instructional design / Instructional theory / Learning theory / Differentiated instruction / Educational technology / Education / Educational psychology / Pedagogy

A Case for a Formal Design Paradigm for Serious Games

Add to Reading List

Source URL: www.units.muohio.edu

Language: English - Date: 2006-03-15 12:53:26
790Computational neuroscience / Neural networks / Formal sciences / Image processing / Segmentation / Artificial neural network / Pose / Face detection / Object recognition / Computer vision / Artificial intelligence / Vision

Learning Recognition and Segmentation Using the Cresceptron John (Juyang) Weng♯

Add to Reading List

Source URL: www.cse.msu.edu

Language: English - Date: 2010-03-03 17:32:51
UPDATE